formal infinite sum

形式无限和